METIS: Dependable Cooperative Systems for Public Safety

Dependable Polygon-Processing Algorithms for Safety-Critical Embedded Systems

Algorithms that process geometric objects become more and more important for many safety-critical embedded systems, e.g. for motion planning or collision detection, where correctness is indispensable. The main challenge to demonstrating correctness is the consistent handling of degenerate cases like collinear line segments. In this paper, we therefore propose the use of an interactive theorem p...

Safety Kernel for Cooperative Sensor-Based Systems

Developing smart vehicles, either automobile or aerial, to realise cooperative functionality in open and inherently uncertain environments is a difficult task. One fundamental challenge is to make cooperation predictable and safe, despite the uncertainties affecting the operation. Traditional approaches for the design of safe control systems rely on the possibility of defining safe operational ...

Safety impacts of cooperative systems

1. Introduction The development of intelligent vehicle safety systems is rapidly moving from autonomous systems relying on vehicle's own sensors towards cooperative systems utilising communications between vehicles or between infrastructure and vehicles. The paper discusses the results of two recent European studies assessing the socio economic impacts of intelligent vehicle systems, including ...

Issues in Software Safety (for Dependable Computing)

Software Architectures for Dependable Systems

The aim of this tutorial is to provide an insight on how the structuring of software systems at the architectural level is fundamental for the development of dependable systems. Taking as a basis the different dependability means, we show how dependability should be considered at the architectural level, and the impact this should have when developing dependable systems. Existing architectural ...